Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
41	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
42	DEPARTMENT OF MATHEMATICS, UNIVERSITY OF TEXAS AT AUSTIN ADVICE FOR STUDENTS WRITING REPORTS, THESES AND DISSERTATIONS Written by Ward Cheney, incorporating suggestions from many sources. Version of May 24, 2000 The writ Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-24 09:25:50 Mathematics Mathematical analysis Analysis Functions and mappings Derivative Big O notation Function Fourier transform Theorem Limit of a function Functional predicate Fundamental theorem of calculus
43	ABSOLUTE CONTINUITY BETWEEN THE WIENER AND STATIONARY GAUSSIAN MEASURES U. KEICH Abstract. It is known that the entropy distance between two Gaussian measures is ﬁnite if, and only if, they are absolutely continuous wi Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2002-12-17 00:51:36 Mathematical analysis Analysis Measure theory Calculus Continuous function Absolute continuity Functional analysis Generalized functions Symbol It diffusion
44	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
45	Microsoft PowerPoint - Lect10symbols_quotev2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-13 09:33:07 Computing Software engineering Computer programming Data types Functional programming Control flow Anonymous function Lambda calculus Subroutines Eval ?: Expr
46	Global stability for the prion equation with general incidence P. Gabriel ∗ January 19, 2015 Add to Reading List Source URL: pgabriel.perso.math.cnrs.fr Language: English - Date: 2015-01-19 10:08:48 Mathematical analysis Physics Calculus Functional analysis Differential equations Operator theory Distribution Work Partial differential equation FeynmanKac formula Heat equation
47	AdjournmentA P R I L , Adjournment. Add to Reading List Source URL: parlinfo.aph.gov.au Language: English Classical cipher Holomorphic functional calculus
48	Matrix Tree Theorems Nikhil Srivastava December 4, 2009 1 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Algebra Mathematics Matrix theory Linear algebra Determinant Lie groups LindemannWeierstrass theorem Holomorphic functional calculus
49	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function

UPDATE